A Brief Overview of Possibilistic Logic

An Overview of Hybrid Possibilistic Reasoning

The objective of this paper is to introduce the hybrid logic methodology into possibilistic reasoning. It has been well-known that possibilistic logic has some strong modal logic flavor. However, modal logic lacks the capability of referring to states or possible worlds though states are crucial to its semantics. Hybrid logic circumvents the problem by blending the classical logic mechanism int...

Expressing Independence in a Possibilistic Framework and its Application to Default Reasoning

Possibility theory offers a general framework for dealing with default rules of the form "generally, if p, then q" which are modelled by constraints expressing that having p and q true is strictly more possible than having p and not q true. Then possibilistic logic offers an inference machinery for default reasoning which obeys classical postulates for nonmonotonic reasoning including rational ...

G’3-Stable Semantics and Inconsistency Semantica G3'-Estable e Inconsistencia

We present an overview on how to perform non-monotonic reasoning based on paraconsistent logics. In particular, we show that one can define a logic programming semantics based on the paraconsistent logic G’3 which is called G’3-stable semantics. This semantics defines a frame for performing non-monotonic reasoning in domains which are pervaded with vagueness and inconsistencies. In fact, we sho...

Intuitionistic Heuristic Prototype-based Algorithm of Possibilistic Clustering

This paper introduces a novel intuitionistic fuzzy set-based heuristic algorithm of possibilistic clustering. For the purpose, some remarks on the fuzzy approach to clustering are discussed and a brief review of intuitionistic fuzzy set-based clustering procedures is given, basic concepts of the intuitionistic fuzzy set theory and the intuitionistic fuzzy generalization of the heuristic approac...

Franz von Baader’s Criticism of Modern Rationalism A Brief Overview